Cryptocomputing systems, compilation and runtime. (Systèmes de cryptocalculs, compilation et support d'exécution)
نویسنده
چکیده
Systèmes de cryptocalculs, compilation et support d’exécution Thèse soutenue le 22 mars 2016 devant le jury composé de : M. Carlos AGUILAR-MELCHOR, Maitre de Conférences-HDR, IRIT M. Albert COHEN, Directeur de Recherche INRIA, ENS Mme. Caroline FONTAINE, Chargée de Recherche CNRS-HDR, TB M. Guy GOGNIAT, Professeur des Universités, UBS M. Philippe GABORIT, Professeur des Universités, Université de Limoges M. Renaud SIRDEY, Directeur de Recherche CEA, LIST
منابع مشابه
The DSystemJ programming language for dynamic GALS systems: it’s semantics, compilation, implementation, and run-time system
The paper presents a programming language called DSystemJ, for dynamic distributed Globally Asynchronous Locally Synchronous systems (GALS), its formal model, formal syntax and semantics, its compilation and implementation. The language is aimed at dynamic distributed systems, which use socket based communication protocols for communicating between components. DSystemJ allows the creation and c...
متن کامل3 . Informatique Et Réseaux Computer Science and Networks 3
Sujets 1. Modélisation et validation des systèmes Conception de modèles d'exécution pour les systèmes hétérogènes. Conception séparée du contrôle et des traitements pour faciliter les preuves. Adaptation de la sémantique d'un modèle de calcul à son environne-ment d'exécution. Conception de composants adaptatifs, réutilisables selon plusieurs modèles de calcul. Modélisation des liens entre diffé...
متن کاملExpressiveness and Data-Flow Compilation of OpenMP Streaming Programs
We present a dataow extension of OpenMP to express highly dynamic control and data ow over nested, dependent tasks. The language supports dynamic creation, modular composition, variable and unbounded sets of producers/consumers, separate compilation, and rstclass streams. These features, enabled by our original compilation ow, allow translating high-level parallel programming patterns, like dep...
متن کاملA Multi-Threads Runtime for the Pandore Data-Parallel Compiler
This paper presents an environment for programming distributed memory computers using a language such as High Performance Fortran. Emphasis is put on compilation techniques for parallel loops and on the associated runtime support. A multi-threads scheme has been deened and implemented in order to eeciently overlap the communication and the computation phases. Un ex ecutif utilisant les processu...
متن کاملJava Components Vulnerabilities - An Experimental Classification Targeted at the OSGi Platform
The OSGi Platform nds a growing interest in two di erent applications domains: embedded systems, and applications servers. However, the security properties of this platform are hardly studied, which is likely to hinder its use in production systems. This is all the more important that the dynamic aspect of OSGi-based applications, that can be extended at runtime, make them vulnerable to malicio...
متن کامل